大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Dynamic Planet [electronic resource] : Monitoring and Understanding a Dynamic Planet with Geodetic and Oceanographic Tools IAG Symposium Cairns, Australia 22鈥ⶠAugust, 2005

0
索取号：
作者：Tregoning、 Paul.、Rizos、 Chris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

International Humanitarian Law Facing New Challenges [electronic resource] : Symposium in Honour of KNUT IPSEN

0
索取号：
作者：Heinegg、 Wolff Heintschel.、Epping、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

0
索取号：
作者：Kobayashi、 Naoki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Combinatorial and Algorithmic Aspects of Networking [electronic resource] : Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers

0
索取号：
作者：Erlebach、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Remagnino、 Paolo.、Nefian、 Ara.、Meenakshisundaram、 Gopi.、Pascucci、 Valerio.、Zara、 Jiri.、Molineros、 Jose.、Theisel、 Holger.、Malzbender、 Tom.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Remagnino、 Paolo.、Nefian、 Ara.、Meenakshisundaram、 Gopi.、Pascucci、 Valerio.、Zara、 Jiri.、Molineros、 Jose.、Theisel、 Holger.、Malzbender、 Tom.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Introduction to Mathematical Methods in Bioinformatics [electronic resource]

0
索取号：
作者：Isaev、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Modeling, Control and Implementation of Smart Structures [electronic resource] : A FEM-State Space Approach

0
索取号：
作者：Bandyopadhyay、 B.、Manjunath、 T. C.、Umapathy、 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Methods in Engineering & Science [electronic resource] : Proceedings of 鈥淓nhancement and Promotion of Computational Methods in Engineering and Science X鈥ug. 21鈥ⳬ 2006, Sanya, China

0
索取号：
作者：Yao、 Z. H.、Yuan、 M. W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Decrypted Secrets [electronic resource] : Methods and Maxims of Cryptology

0
索取号：
作者：Bauer、 Friedrich L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Robotics Research [electronic resource] : Results of the 12th International Symposium ISRR

0
索取号：
作者：Thrun、 Sebastian.、Brooks、 Rodney.、Durrant-Whyte、 Hugh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

0
索取号：
作者：Liu、 Zhiming.、He、 Jifeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer and Information Sciences-ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

0
索取号：
作者：Levi、 Albert.、Sava艧、 Erkay.、Yenig眉n、 H眉sn眉.、Balc谋soy、 Selim.、Sayg谋n、 Y眉cel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

0
索取号：
作者：Graf、 Susanne.、Zhang、 Wenhui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

0
索取号：
作者：Balc谩zar、 Jos茅 L.、Long、 Philip M.、Stephan、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.